Building on the analysis of Bonanno (Artificial Intelligence, 2025) we introduce a simple modal logic containing three modal operators: a unimodal belief operator, a bimodal conditional operator and the unimodal global operator. For each AGM axiom for belief revision, we provide a corresponding modal axiom. The correspondence is as follows: each AGM axiom is characterized by a property of the Kripke-Lewis frames considered in Bonanno (Artificial Intelligence, 2025) and, in turn, that property characterizes the proposed modal axiom.

There is a clear gap in the space between the time that a management consultancy gets the CEO of a financial institution to sign off on some ambitious multi-year plan to put some antiquated process to rest. The consultants, never wanting to dirty their hands with anything that isn't a strategy, leave about as quickly as they came, forcing the bank, and its change function, if it has one, to turn to one of the big four accounting firms. They then send in hordes of fresh university graduates who steadily proceed to chip away at the original targets of the change plan, usually leaving the bank with something utterly unrecognizable. Nischal Tanna, who previously spent years in transformation functions at major US and Singaporean banks, is trying to come up with a better way of doing things. In an interview with finews.asia, the CEO of Transform hub said he tries to join both ends of the consulting and execution functions more effectively by using AI and focusing on particular implementation phases.